OpenSAT(TM) and SATBuilder: A Satellite Design Automation Environment for Responsive Space