businesses in the mining sector kenya