An alternating current impedance model including migration and redox-site interactions at polymer-modified electrodes