The social benefits of "anti-social" punishment