An introduction to rational homotopy theory