Graphs of bounded variation, existence and local boundedness of non-parametric minimal surfaces in Heisenberg groups