Счетная машина Готфрида Лейбница: история и технологии