Frank Calegari: Non-minimal modularity lifting theorems for imaginary quadratic fields