Greedy energy minimization can count in binary: point charges and the van der Corput sequence