Metropolitan Water District and San Diego end battle over Colorado River water — and set price