Empirics on the Long-Run Effects of Building Energy Codes in the Housing Market