Text this: Elimination of singularities of smooth mappings of 4-manifolds into 3-manifolds