Proportional justified representation