Agricultural insurance and agriculture 4.0: a necessary synergy