$4bn subsidy for Australian mine sector