Mercado de Jamaica, introducción del metro