Which tool would you use to measure the length of a pencil?