Topological defects in cosmology