FedTADBench: Federated Time-Series Anomaly Detection Benchmark