Exact and Heuristic Multi-Robot Dubins Coverage Path Planning for Known Environments