8-vertex ice model