Dynamics and Stability of Variable-Length, Vertically-Traveling, Heavy Cables: Application to Tethered Aerostats