Formalization of the Informal Economy