sed command example - extract lines from a file