Report on a topographic mapping project for east Kenya area, Republic of Kenya