'No tax on tips' wasn't meant to help people buy homes — but 4 million tipped workers could benefit