Is there any sensor to measure water pressure and thus depth of water tank ?