US Air Force pilots get an artificial intelligence assist with scheduling aircrews