Double-pass amplification of picosecond pulses with a tapered semiconductor amplifier