Metric Theory of Banach Manifolds