An Efficient Model of Tethers for Tethered Satellite Systems