Graph limit theory: an overview