The Xiaomi 13 series may be launched under the name Xiaomi 14