Olá, Bonjour, Salve! XFORMAL: A Benchmark for Multilingual Formality Style Transfer