Exploiting Symmetries in MUS Computation (Extended version)