Why exactly do we ever need to assume the Axiom of Choice, if it doesn't even tell us how to construct the relevant sets? What practical results need this axiom?