Cloud-Based IoT Monitoring System for Pump Canal Operations: A Case Study of Narayanpur Pump Canal, Mirzapur