Discovering Symbolic Laws Directly from Trajectories with Hamiltonian Graph Neural Networks