Origin and distribution of desert ants across the Gibraltar Straits.