Xiaomi Redmi 5 with 4GB of RAM now available - GSMArena.com news