Punched cards - which paper/cardboard?