An Experimental Study of Dynamic Algorithms for Transitive Closure