The Axiom of Multiple Choice and Models for Constructive Set Theory