Monitoring Big Data Streams Using Data Stream Management Systems: Industrial Needs, Challenges, and Improvements (Advances in Operations Research, 2023)