Impact of agricultural insurance on green agricultural production in China: Based on the mediation effect of agricultural technology progress