SMS: Justified representation in multiwinner voting: Axioms and algorithms