Bounds on the Distribution of a Sum of Correlated Lognormal Random Variables and Their Application