A short history of miocene field palaeontology in Western Kenya