Frenkel-Kontorova models