Introduction to persistent homology