Plate tectonics and volcanism in the gibraltar arc