红米k40pro的具体参数配置及发布时间