Electrophilic substitution in naphthalene: Kinetic vs thermodynamic control