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