Mathematical analysis of the motion of a rigid body in a viscous compressible fluid: well-posedness and large time behavior