Successive Refinement Algorithms for Distributed Area Coverage Using Mobile Robots