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, =0 corresponds to the year 1980), and ()=15.640.012. Find a formula T() for the total U. S. consumption of iron ore, in millions of metric tons, from 1980 until time .