Xiaomi Redmi K40, Redmi K40 Pro, Redmi K40 Pro+ launched in China