a paper punch is used for making holes in paper