بطولة العالم في المسائل الحسابية