The total size of domestic machinery sand production equipment industry