An Optimization Model to Upgrade the Charging Network of Electric Vehicles