I'm never recommending Vivo Z1 Pro, just because it doesn't have USB C port.
Then given your budget, It's a tough one between Redmi Note 7 Pro and Realme 5 Pro TBH. While I personally haven't tested the cameras on 5Pro, the software experience on miui is better than the coloros of Realme. Maybe Poco F1 too, if there are discounts. That's a steal.
I don't know much about Nokia 6.2, but 7.2 will have better cameras than the 6.1 plus, whose camera is quite similar to the 7+ (phone I use). The only thing that might bog that down will be the processor, if it launches with 660.
Further, if you're buying a smartphone now, don't hesitate in going for the 6/8 GB variant. Apps in the future will force more ram consumption. I'm an app developer myself and have witnessed the shift in strategy by app developers targeting more processing power.