Часы Християна Гюйгенса: История и технологии