Half-integer quantum Hall effect of disordered Dirac fermions at a topological insulator surface