Task Splitting and Load Balancing of Dynamic Real-Time Workloads for Semi-Partitioned EDF