what was the theme song for family ties