dot product definition and properties