Frequency sharing between the radio astronomy service and other services in bands above 70 GHz