SMS dit: Modelo de Auditoría para el exámen de las cuentas por cobrar en empresas distribuidoras de energía eléctrica, caso ilustrativo