Virgin Galactic trains pilots with Turkish firm’s software