The OPS-SAT benchmark for detecting anomalies in satellite telemetry