Xiaomi Redmi 5 and Redmi 5 Plus: Everything you need to know