Regina Barzilay wins $1M Association for the Advancement of Artificial Intelligence Squirrel AI award