铅笔被发明多少年了 铅笔发明时间