‘Optimus’ is the prototype humanoid robot, launched by which company