Double pomeron exchange in the reaction ifpp → ppπ+π− at ISR energies