Quaternary history of the Lake Magadi Basin, southern Kenya Rift: Tectonic and climatic controls