Nonlinear Impedance Spectroscopy and Its Application to Solid Oxide Fuel Cells