Developing a static microsimulation model for the analysis of housing taxation in Italy