Game-theoretic models of bargaining