how many types of pencil are there?