Deciding under algorithms: artificial intelligence and the protection of civilian infrastructure in armed conflict