Redmi K40 Gaming Edition officially launched in China