Number of Guards Needed by a Museum: A Phase Transition in Vertex Covering of Random Graphs | Synapse