OK, tried everything. Eventually went back to Vodaphone and apparently because I had changed my phone they automatically barred international calls. Vodaphone lifted the bar it imposed, not at my request, and the Mi9 works perfectly in making international calls.