A Mathematical Framework for Radio Resource Assignment in UAV-Aided Vehicular Communications | Synapse