Gravar e-mail: Machine Learning for Predicting User Satisfaction in Human–Robot Interaction (HRI) Teleoperation Tasks