Huawei ban may require UK to use different 5G operators