DiffMimic: Efficient Motion Mimicking with Differentiable Physics