The US construction industry is larger now than it was before the pandemic