A middle Miocene (12·2 my old) forest in the East African Rift Valley, Kenya