Verification of Data-Aware Processes: Challenges and Opportunities for Automated Reasoning