how smart is magnus carlsen