Dynamic Optimal Output Feedback Control of Satellite Formation Reconfiguration Based on an LMI Approach