Schmidt to succeed Fleming as Torc Robotics CEO