a stapler is used for stapling