Introduction to topological data analysis