A linear-time algorithm for edge-disjoint paths in planar graphs