Theoretical analysis of reactions of electrophilic iodination and chlorination of benzene and polycyclic arenes in density functional theory approximation