Simplicial Methods for Higher Categories