The Leaky Box Approximation for the Propagation of Heavy Cosmic Ray Nuclei and the Vertical Distribution of Gas Within One kpc of the Sun