Australia’s innovative contributions to the global mining industry