The TABOR surplus and TABOR refund mechanisms