Xiaomi launches the Redmi 8