RTP 1, RTP 2 y SIC, en alta definición por Hispasat