Observation of the Rare B0s → µ+ µ− Decay from the Combined Analysis of CMS and LHCb Data