Modulated Infrared Spectroscopy at the Electrochemical Interface