What are the theory, conditions, and examples of electrophilic aromatic substitution?