Linear Dynamic Modeling of Satellites with Flexible Appendages