Automatic Verification of Data-Centric Business Processes