From Crowdsourced Data to High-Quality Benchmarks: Arena-Hard and BenchBuilder Pipeline