Pencil sharpeners for museums