Robots and machines from the history books: Shakey the Robot, 1972