Vote and trade: An efficient mechanism for common-pool resource management with stock externalities