Exact Pareto-Optimal Coordination of Two Translating Polygonal Robots on a Cyclic Roadmap