Benders decomposition for profit maximizing hub location problems with capacity allocation