Bidding for Preferred Timing: An Auction Design for Electric Vehicle Charging Station Scheduling | Synapse