Fast Optimal Task Graph Scheduling by Means of an Optimized Parallel A*-Algorithm