RedMagic 7S launched in China, 7S Pro global launch to follow