An Optimization Framework for Goal-Oriented , Model-Based Reduction of Large-Scale Systems