Xiaomi’s Redmi Note 7 Pro is official: more powerful, more premium ...