A-STC: auction-based spanning tree coverage algorithm formotion planning of cooperative robots