IoT and Spacecraft Informatics