The formal and the substantive meanings of proportionality in the Supreme Court's decision regarding the security fence