WeWork had 12,500 employees at its peak.