Workload Prediction of Business Processes -- An Approach Based on Process Mining and Recurrent Neural Networks