The Pentagon's new AI chief is a former Lyft executive