Probabilistic forecast of electric vehicle charging demand: analysis of different aggregation levels and energy procurement.