Xiaomi Redmi 5, Redmi 5 Plus launched