Gravity and seismic measurements in Kenya.