Auction-Based Task Allocation and Motion Planning for Multi-Robot Systems with Human Supervision