Managing Large-Scale Workflow Execution from Resource Provisioning to Provenance Tracking: The CyberShake Example