A quasi-Newton algorithm for nonconvex, nonsmooth optimization with global convergence guarantees