The complexity of proof equivalence in multiplicative linear logic