The FAA's ambitious NextGen program gets big data boost