מספר עובדים של Virgin Galactic Holdings, Inc..