RedMagic 9 Pro gaming smartphone has hit the market