Statistics for Optimizing EV Routing and Charging/Discharging under Time-Variant Electricity Prices