كم يبلغ التعداد السكاني للبرتغال