The Journal of High Energy Physics: A successful experience of electronic publishing