Beskatning af boligstøtte kan yde merprovenu på omkring 5,7 milliarder kroner