Integration over an Infinite-Dimensional Banach Space and Probabilistic Applications