Formalized model of agricultural insurance development strategy as an element of industry management digitalization