ROG Phone 8 Pro vs Redmagic 9 Pro: Which is the better gaming phone?