Altitude-Dependent Cellular Spectrum Occupancy: from Measurements to Stochastic Geometry ModelsACJuly 13, 2026