Nonstandard methods in stochastics