Splitting the layers

Pipeline parallelism: the bubble, and four schedules that fight it