xiaomi redmi pro release date in china