Deriving the dot product angle formula