String Diagram Rewrite Theory {{I}}: Rewriting with Frobenius Structure