A Quasi-Categorical Introduction to $(\infty,1)$-categories