Soft-Thresholding Formula for the Lasso with Orthonormal Design