A sketch of the proof of modularity of abelian surfaces