A gentle introduction to quasi-categories