工信部:2023年要加快突破石化、船舶、航空等重点行业工业软件