Proportionality in International Humanitarian Law: A Principle and a Rule