String diagram rewrite theory II: Rewriting with symmetric monoidal structure