Wavelength tuning and spectral properties of distributed feedback diode lasers with a short external optical cavity.