Modularity of abelian surfaces over imaginary quadratic fields