Lyft exec will head the Pentagon's AI efforts