Text this: Monitoring Big Data Streams Using Data Stream Management Systems: Industrial Needs, Challenges, and Improvements