Multicore Scheduling of Parallel Real-Time Tasks with Multiple Parallelization Options