Xiaomi Mi 9T officially announced as the European version of the Redmi K20