Optimizing On-Street Parking Supply with Analytical Models