Querying Labeled Time Series Data with Scenario Programs