A mathematical model for the dynamic analysis of multi-body floating platforms with complex mechanical constraints