Persistent homology (from a mathematical point of view)