How Abaqus/standard (implicit) algorithm works