HEIGHT OF HEIGHT-BALANCED TREES