Semiclassical Propagation of Gaussian Wave Packets