Satellite Dynamics Toolbox Library: a tool to model multi-body space systems for robust control synthesis and analysis