a raspberry pi-based water sensor