Structuring a residential satisfaction model for predictive personalization in mass social housing