Koopman Operators in Robotics