Proof of the Boltzmann-Sinai ergodic hypothesis for typical hard disk systems