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