Government size, composition of public expenditure, and economic development