Effects of Colombia's Social Protection System on Workers' Choice between Formal and Informal Employment