Theoretical and experimental studies of conducting polymer polyaniline / electrolyte interface by impedance spectroscopy