Proton pairing in neutron stars