Tiny robots are the heroes of the failed SLIM lunar mission