javier marias, escritor, muere