Didn't the UK prevent SMS encryption when the standard was developed?