Leak detection equipment: leak noise correlators, leak listeners, leak loggers and line locators