how many people died in the holocaust