History of myrmecology