Xiaomi Redmi Note 5 Pro review: The new midrange benchmark