Verifiable Pattern Matching on Outsourced Texts