Text this: Punched-card systems and the early information explosion, 1880-1945