Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Planning