Dynamics in Post-pandemic Global Mining Dump Trucks Industry: Supply and Demand, Markets and Prices 2021-2027