Properties of pion-condensed neutron stars