four different types of paper cutting tools