Pictures Of Processes : Automated Graph Rewriting For Monoidal Categories And Applications To Quantum Computing