An Analytical Framework for Optimizing the Renewable Energy Dimensioning of Green IoT Systems in Pipeline Monitoring