Sierra de San Miguelito: origen de la cantera que dio vida a San Luis Potosí – Antena San Luis