Household margin insurance of agricultural sector in Indonesia using a farmer exchange rate index. Issue 2 (31st July 2020)