The word problem in fundamental groups of sufficiently large irreducible 3-manifolds