A queuing theory decision support model and discrete event simulations for the smart charging of electric vehicles