Quasispecies theory for finite populations