The Strength of Nonstandard Analysis