cuantos habitantes tiene san josé de gracia michoacán