The magnitude of a graph - Tom Leinster (2014)