Redmi 7A with 4,000mAh battery goes official in China