Craw4LLM: Efficient Web Crawling for LLM Pretraining