SepPrune: Structured Pruning for Efficient Deep Speech Separation