A Queuing Approach to Parking: Modeling, Verification, and Prediction