Querying Labelled Data with Scenario Programs for Sim-to-Real Validation