Raúl de Tomás signe à Benfica