NASA Operational Simulator for Small Satellites (NOS3): The STF-1 CubeSat Case Study