Sequential Decision-Making Models And Algorithms For Piping Maintenance Optimization