The actual and estimated industry revenue of heavy machinery in the U.S. from 2012 to 2024 (in billion U.S. dollars).