Strong homotopy equivalence of 3-manifolds