Xiaomi’s Redmi 9 series – now available – Gadget