Archimedean Choice Functions: an Axiomatic Foundation for Imprecise Decision Making