Xiaomi stellt Redmi K40 Game Enhanced Edition offiziell vor