WorkBench: a Benchmark Dataset for Agents in a Realistic Workplace Setting