The quest for the Africa–Eurasia plate boundary west of the Strait of Gibraltar