Modularity of 2-adic Barsotti-Tate representations