Gallatin AI raises $50M Series A for software that plans US military logistics