History of the ball point pen