LakeBench: Benchmarks for Data Discovery over Data Lakes