中国机器人产业发展报告(2023)》,其中提到,2022年工业机器人市场规模