What is the distance between #(3,-12,12)# and #(-1,13,-12)#?