Finite element discretizations of nonlocal minimal graphs: Convergence. (December 2019)