Investors rightly shrug off Catalonia’s separatism