The geology and petrology of the Hannington Trachyphonolite formation, Kenya Rift Valley