Mixed Integer Programming for Time-Optimal Multi-Robot Coverage Path Planning With Efficient Heuristics