A classification framework for carbon tax revenue use. (9th August 2021)