Text this: Introduction to geographic information systems. Report of a training workshop held at Nairobi, Kenya on 17-21 March 2014