Xiaomi introduces the Redmi 9 series, starting at €99 - Neowin