Xiaomi launches Redmi Note 4 Pro