methods of line mining in kenya is mined