Xiaomi Redmi 7 Pro spotted: Specifications, design, launch