SMS dit: Minería de procesos para la explotación de conocimiento en empresas de desarrollo de software con prácticas de CMMI-DEV