Spam Campaign Detection, Analysis, and Formalization