Christiaan Huygens and contact geometry