What is the length of a diagonal of a rectangle with length 12 and width 5?