Pentagon Taps Lyft's Machine-Learning Chief