Text this: Kalman filters for leak diagnosis in pipelines: brief history and future research