Text-to-Level Diffusion Models With Various Text Encoders for Super Mario Bros