SRG SSR chooses Harmonic encoders for HD DVB-S upgrade