What is persistent homology?