Xiaomi officially announces the Mi 4