Redmi 9A and Redmi 9C launch with big batteries, notched displays, and ...