Variational formula for the time-constant of first-passage percolation - Arjun Krishnan (2013)