Right Preconditioned MINRES for Positive Semidefinite Systems