Kohteen Asturian ruhtinaskunta väkiluku