Nils Petter Gleditsch: Pioneer in the Analysis of War and Peace