Industrial redevelopment planned for Ohio mall