By 2018, industries that are projected to represent 12 percent of the U.S. overall domestic product are _____.