Cenozoic extension in northern Kenya: a quantitative model of rift basin development in the Turkana region