New Redmi Pro gives Xiaomi’s budget smartphone line a touch of class ...