Evolution of cooperation under punishment.