MathSpeech: Leveraging Small LMs for Accurate Conversion in Mathematical Speech-to-Formula