On Convergence of FedProx: Local Dissimilarity Invariant Bounds, Non-smoothness and Beyond