Sales of heat pumps are booming all over the world; some 4 million were installed in the US in 2021, up from 1.7 million in 2012.