Model-Based Monitoring and Leak Detection in Oil and Gas Pipelines