A brief history of robotics