Modeling Task Allocation with Time using Auction Mechanisms