In and out of Africa: how did the Strait of Gibraltar affect plant species migration and local diversification?