Nonstandard Analysis: Theory and Applications