MR-SimExCoverage: Multi-robot Simultaneous Exploration and Coverage. (July 2020)