Gardner Denver to merge with Ingersoll-Rand division