The greater public good: Choosing between trees and a metro car shed in Mumbai