Label-Efficient Interactive Time-Series Anomaly Detection