Network Design for In-motion Wireless Charging of Electric Vehicles: Models and Algorithms