The United States has been consuming iron ore at the rate of million metric tons per year at time , where is measured in years since 1980 (that is, corresponds to the year 1980), and Find a formula for the total U.S. consumption of iron ore, in millions of metric tons, from 1980 until time .