A calculus for branched spine of 3-manifolds