Applications in combinatorial number theory of iterated nonstandard extensions and idempotent ultrafilters