Which common hand tool is a plumber's go-to for cutting white PVC pipes quickly and cleanly using a ratcheting mechanism?