The Barkat oasis in the changing landscape of the wadi Tanezzuft during the Holocene.