Nonstandard analysis and the sumset phenomenon in arbitrary amenable groups