Proving Linear Mode Connectivity of Neural Networks via Optimal Transport