A Divergence-Free Immersed Boundary Method and Its Finite Element Applications. (December 2020)