Global distribution, genesis, exploitation, applications, production, and demand of industrial heavy minerals