Relación entre formalidad laboral y productividad total de los factores en empresas medianas y grandes de Colombia (2007-2019) : una métrica continua de formalidad laboral