The half-filled Landau level: The case for Dirac composite fermions