A proof that all Seifert 3-manifold groups and all virtual surface groups are conjugacy separable