Enabling ENVISAT deorbiting: a multi-spacecraft mission for inspection, capture, and detumbling