Gravity anomalies, ultramafic intrusions, and the tectonics of the region around the Strait of Gibraltar