PP-FormulaNet: Bridging Accuracy and Efficiency in Advanced Formula Recognition