Realme 10 4G confirmed to officially launch on November 9