Elevation Dependent Shadowing Model for Mobile Communications via High Altitude Platforms in Built-Up Areas | Synapse