Line shape of the no-phonon luminescence of excitons bound to phosphorus in carbon-doped silicon.