Xiaomi Redmi 4 launched: Everything you want to know