Observation of the rare B0s→μ+μ- decay from the combined analysis of CMS and LHCb data