What is the dot product of two vectors?