Learning Differentiable Reachability Maps for Optimization-based Humanoid Motion Generation