Theoretical and computer simulation study of phase coexistence of nonadditive hard-disk mixtures