Stochastic charging scheduling of a parking lot with wind power: a state-aggregation method based on Markov decision processes