Human-in-the-loop control through kinematic redundancy resolution for space exploration rovers