TimeSeriesBench: An Industrial-Grade Benchmark for Time Series Anomaly Detection Models