A Reliable Framework for Human-in-the-Loop Anomaly Detection in Time Series