SMS dit: Behavioral simulation methods in tax policy analysis