Resource-based Modeling and Simulation of Business Processes