Graph Mining: Laws Tools and Case Studies