Nominal rewriting systems