Mercado de San Miquel in Madrid – Het gebouw