What is the dot product of <7,0,1> and <2,4,3>?