Soft sets: an ordinal formulation of vagueness with some applications to the theory of choice