Realme 7 series to officially debut in Europe on October 7, Pricing leaked