The petroleum exploration of Ireland's offshore basins: introduction