What is the dot product of #<5,4,-4># and #<-4,1,5 >#?