determinant of a 4x4 matrix