Proton superfluidity in neutron-star matter