how much zircon is mined each year