CD Projekt’s third-quarter profit doubles after ‘Phantom Liberty’ release