WRDM-CD is available on channel 20 of a digital cable television service serving how many customers?