Which command reads from standard input $($stdin$)$ and writes to both standard output $($stdout$)$ and a file?