Daimler’s Torc Robotics picks Amazon as cloud provider for self-driving trucks