An Auction-Based Method for Decentralized Train Scheduling