Contract and Lyapunov Optimization-Based Load Scheduling and Energy Management for UAV Charging Stations | Synapse