Optimal Control of Soil Venting: Mathematical Modeling and Applications