Random Walk Models of Network Formation and Sequential Monte Carlo Methods for Graphs