6-vertex ice model