A Novel Auction-Based Truck Appointment System for Marine Terminals