工兵是多少人