Taxation and Formalization: From Evidence to Policy Making