The transition from the informal to the formal economy