Xiaomi’s Redmi Turbo 3 is official: the mid-range ante is raised once again