Is the Redmi Note 9 Pro the best RM1099 mid-range smartphone?