Nonstandard Analysis and Vector Lattices