four-vector norm