Redmi Note 9S announced from RM799 — long live the mid-range king!