Stav dette: Behavioral simulation methods in tax policy analysis