Xiaomi Redmi 6 Pro is the first Redmi phone with a display notch