Positive curvature and rational ellipticity