Datacenter at the Airport: Reasoning about Time-Dependent Parking Lot Occupancy | Synapse