Limb–nadir matching using non-coincident NO 2 observations: proof ofconcept and the OMI-minus-OSIRIS prototype product