An axiomatisation for rooted branching bisimulation with explicit divergence