Comprehensive quantitative evaluation of municipal budget allocation efficiency: The Portuguese case | Synapse