A ​19-foot ladder is placed against a vertical wall of a​ building, with the bottom of the ladder standing on level ground 13 feet from the base of the building. How high up the wall does the ladder​ reach?