Xiaomi Redmi 5: primele specificatii au scapat in mediul online