Focus: Software-Defined Satellites