到1919年五四运动前,中国的产业工人达到（ ）。