US$12 billion mining industry