Modeling and Simulation of Satellite Docking Using MBS-Compatible Contact Dynamics Tools