A fully convex reformulation of the original Matsuoka–Nakai failure criterion and its implicit numerically efficient integration algorithm