Simulation with system dynamics and fuzzy reasoning of a tax policy to reduce CO2 emissions in the residential sector · Study