Redmi 6 Pro is Xiaomi's first notched mid-ranger — king of the budget smartphones?