Modeling, robust control synthesis and worst-case analysis for an on-orbit servicing mission with large flexible spacecraft