A nonlinear ergodic theorem for an amenable semigroup of nonexpansive mappings in a Hilbert space