Beer, HECS and visas: things that raise more revenue than the Petroleum Rent Resource Tax (PRRT)