mining and quarrying in kenya