Observation of the rare Bs0 →µ+µ− decay from the combined analysis of CMS and LHCb data