Incentive-Compatible Vertiport Reservation in Advanced Air Mobility: An Auction-Based Approach