Champaign officials say Dorothy David could be next city manager