Designing an incentive-compatible vertiport reservation mechanism for efficient coordination in advanced air mobility.