Since 2016-17 Australians paid $15bn more in HECS than gas companies did in PRRT