Did the Biden administration make the right move mandating heat-pump water heaters?