Analyzing and Predicting Verification of Data-Aware Process Models -- a Case Study with Spectrum Auctions