what is the 2012 estimate of the core-based statistical area whose gross domestic product was $ 242 billion in 2017 ?
4,329,534