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