The Housing Price Boom of the Late ’90s: Did Inflation Targeting Matter?