Efficient Multi-Robot Coverage of a Known Environment