About 40,000,000 tons were produced in 1984[needs update]. What is the process used to harden the asphalt?