Ideal completion and Stone representation of ideal-distributive ordered sets