Redmi 5 vs Redmi 4: Is Xiaomi’s affordable full-screen smartphone worth buying?