A Three-Dimensional GIS Model: Modeling Wireless Signal Strength and Solving the Urban Antenna Allocation Problem