A distributed lagrange formulation of the finite element immersed boundary method for fluids interacting with compressible solids