Betty: An Automatic Differentiation Library for Multilevel Optimization