Distributed Auction-Based Initialization of Mobile Robot Formations