Modeling Smart Parking Lots through a Discrete- Event Simulation