RedMagic 7 vs RedMagic 7 Pro: Which is the best?