KramaBench: A Benchmark for AI Systems on Data-to-Insight Pipelines over Data Lakes