Warfare and armed conflicts: a statistical encyclopedia of casualty and other figures, 1492-2015.