Towards Differentiable Multilevel Optimization: A Gradient-Based Approach