Redmi 10 Prime launching on September 3: Here’s what we know so far