Xiaomi Redmi Note 5 Pro launched