Simplicial objects in algebraic topology