XNLIeu: a dataset for cross-lingual NLI in Basque