Benchmark Dataset Generation and Evaluation for Excel Formula Repair with LLMs