Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints