A finite graphic calculus for 3-manifolds