A ladder that is 20 feet in length is resting on a branch of a tree, and the base of the ladder is 12 feet from the tree on the level ground. How high up is the branch on which the ladder is resting?​