David Pocock is right: more tax is raised from beer than from petroleum resource rent tax (PRRT)