¿Cómo se tramita el permiso de trabajo para profesionales extranjeros altamente cualificados?