Note on contingency margin of United Nations Industrial Development Organization budget