How Many Lawyers Are Using Artificial Intelligence Right Now?