Optimal stochastic control for parking systems: occupancy-driven parking pricing