The seismicity of Kenya