sand and stone mining in kenya