Accurate and consistent FE modelling of soft docking of micro/nano paired-satellites using variational inequalities