Proof Equivalence in MLL Is PSPACE-Complete