number of people employed in the mining industry in ghana