Acoustic leak detection tools help PUB to find and pre-empt water pipeline leaks. Issue 8 (August 2021)