Edinburgh’s computer scientists banned from using ‘Alice and Bob’ as too ‘Western’