Trace Bench: An Open Data Set for Trace-Oriented Monitoring