Modularity of 2-dimensional Galois representations