Tag Embedding and Well-defined Intermediate Representation improve Auto-Formulation of Problem Description