Warfare and armed conflicts: a statistical encyclopedia of casualty and other figures