Algorithmic Detention and International Human Rights Law