Digitalization of Water Distribution Systems in Small Cities, a Tool for Verification and Hydraulic Analysis: A Case Study of Pamplona, Colombia