Hyperconvexity of ℝ-trees