Маятниковые часы Гюйгенса 1657 года: история и эволюция