mining hand tools in Gambia