types of roof in kenya