RedMagic 8 Pro launching on Boxing Day with no notch