Phil Harvey: Microsoft Bonsai, teaching useful, industrial AI