Controlling Large Electric Vehicle Charging Stations via User Behavior Modeling and Stochastic Programming