An Optimization Variant of Multi-Robot Path Planning Is Intractable