Origin of the American point system for printers' type measurement