An optimization approach for efficient management of EV parking lots with batteries recharging facilities