Regular submanifolds, graphs and area formula in Heisenberg groups