A bi-categorical axiomatisation of concurrent graph rewriting