Analyzing and Predicting Verification of Data-Aware Process Models—A Case Study With Spectrum Auctions