Redfin laid off 13% of workforce in 2022. Multiple rounds of cuts.