Random-order Contention Resolution via Continuous Induction: Tightness for Bipartite Matching under Vertex Arrivals.