SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches