Xiaomi Redmi 5 and Redmi 5 Plus released