An introduction to non-Euclidean geometry