Theory of high-force DNA stretching and overstretching.