Streaming and Massively Parallel Algorithms for Edge Coloring