Human genetic differentiation across the Strait of Gibraltar