Formalization within a terrorist group increases its capacity for lethal violence