The history of the arXiv