What is the capitalization of the market portfolio?