NBC: Corrupt software introduced by contractors took down FAA system, officials say