An Extreme Value Theory for Sequence Matching