Double pomeron exchange in high-energy pp collisions