Nonlinear contact resonance spectroscopy in atomic force microscopy