Proportionality Analysis and Models of Judicial Review