Mining Tera-Scale Graphs: Theory, Engineering and Discoveries