Xiaomi Redmi 7 & Redmi 7 Pro Official With Tiny Notches, Android 9 Pie