Xiaomi Redmi Note 7, Xiaomi Redmi Note 7 Pro