Redmi 9T: Should you buy it, and what are the alternatives?