Riyadh reportedly warned German authorities about Saudi national ahead of Christmas market attack