Xiaomi launches Redmi Note 8 Pro and Note 8