2020年我国工业互联网产业规模将达3.1万亿