extract records specified in a filter file from a file of records