The use of algorithms within administrative procedures: national experiences compared through the lens of European law