Brain infarction severity differs according to cardiac or arterial embolic source