TIC: Translate-Infer-Compile for accurate 'text to plan' using LLMs and logical intermediate representations