Some information - I've put some text in bold. Bear in mind that some information could be on the old side. I suggest taking numbers as a general indication only.
For most of the past decade, coal has been Australia's second largest resource export, after iron ore, and since 2015 has averaged around one-quarter of annual resource export values and 14 per cent of total export values (Graph 2). In 2018,
the value of coal exports was $67 billion, equivalent to 3½ per cent of nominal GDP.
Source
https://www.rba.gov.au/publications/...lian-coal.html
Australia’s mining industry has delivered a 10.4 per cent share of the Australian economy in 2019-20, making it the largest economic contributor with a $202 billion GDP, according to The Australian Bureau of Statistics.
Source
https://www.australianmining.com.au/...alian-economy/
Mining employs ~280 000, about 2.1% of the workforce
https://labourmarketinsights.gov.au/...industryCode=B
Who owns Australian mining
Australia’s mining industry is 86% foreign owned
Source
https://australiainstitute.org.au/re...-mining-lobby/
The Australia Institute appears to be a genuine, independent, think tank. Hopefully it is.
Taxes paid by mining companies seems to be difficult to work out. One bit of information I did come across, is that the mining companies often combine royalties and taxes together. It appears that this should
not be done, because royalties are more like a cost of purchasing the the raw material (just like a baker buys flour).
See
https://www.michaelwest.com.au/minin...id-45-billion/
My thoughts - we need to stop exporting the ground under our feet, and actually make
things here. Especially as most of the benefit is going overseas. Also, even if we were stupid enough to shut down coal mining tomorrow, it ain't really that big! Near term (within 20 years), it's an industry that needs to die.
Philip