Theory of the natural width of a semiconductor laser emission line