Text2World: Benchmarking Large Language Models for Symbolic World Model Generation