15 mil 500 empleos formales perdidos en Michoacán por la pandemia: SEDECO