Text this: Finite-time asteroid hovering via multiple-overlapping-horizon multiple-model predictive control