Lanchester battles and the evolution of combat in ants