On the modularity of elliptic curves over imaginary quadratic fields