Scheduling Web Crawls with Breaks for Better Productivity