Peter Henderson: Working at the intersection of machine learning and public policy