Hamiltonian formalism for null dust in general relativity