Código postal de San José del Carmen en Salvatierra, Guanajuato, México