Tensor-based derivation of standard vector identities