redmi pro launch date in china