История и названия маятниковых часов