Neutron Stars: Theory and Observation