redmagic 10 pro launch date