Multi-robot Coverage and Redeployment Algorithms