Redmi K40 Gaming Edition Lanzamiento, características y precios