what tools did the chinese miners use