Algeria obtains Ottoman-era documents at French auction