Redmi K40 – характеристики, дата анонса и цена