Distinguishing between Brine-Saturated and Gas-Saturated Shaly Formations with a Monte-Carlo Simulation of Seismic Velocities