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