An Empirical Study on Cultivating the Craftsman Spirit of Vocational Students Based on Mathematical Modeling——Taking Shaanxi Polytechnic Institute as an Example