Vestir de piedra el pueblo. Benito Antúnez de Miranda y el registro de un yacimiento de cantera en el San Luis Potosí del siglo xvi