dayton is part of ohio