Redmi used to be Xioami’s entry-level brand, but now that it’s on its own