Wireless Network Design: Optimization Models and Solution Procedures (International Series in Operations Research & Management Science)