Model for Total Dissolved Gas Supersaturation from Plunging Jets in High Dams