Scope and mechanism of aromatic iodination with electrochemically generated iodine(I)