How can engineers volunteer for open source space based navigation? Also, are there any projects yet underway to do asteroid mining?