The regulation of a spatially heterogeneous externality: Tradable groundwater permits to protect streams