工信部:一季度规模以上高技术制造业增加值同比增长12.5%