Modularity of Galois representations I