Budget OK'd with smaller raises for nonunion workers