Boundedly controlled manifolds and the s-cobordism theorem