Xiaomi launches new variant of the Redmi Note 5 — more storage for the same money!