The actual and estimated global industrial oil market size from 2021 to 2030 (in billion U.S. dollars)