Temporal coherence properties of picosecond pulses from semiconductor lasers