php read large file from line a to line b