In 2020, the market size of semiconductor equipment in mainland China is expected to rank first in the world