Adam-family Methods for Nonsmooth Optimization with Convergence Guarantees