Synthesising CCS bisimulation using graph rewriting