Model-independent properties of two-photon exchange in elastic electron-proton scattering