What year was the first patent for a pencil sharpener applied for?