Smart Grid and Big Data: Theory and Practice