Redmi AX6000 goes official in China; available to purchase for 489 yuan ...