China's 5G-A Open-Pit Mine: 100 Autonomous Trucks Power a Green Revolution