Michael D. Murray: A Pioneer in AI and Law