The use of DEA as a tool to evaluate public expenditure on education: an analysis of the cities of the state of Rio de Janeiro