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