Global steel scrap market: 760 million tons sold by 2018