Complementarity formulations and existence of solutions of dynamic multi-rigid-body contact problems with coulomb friction