Finite-top-mass effects in NNLO Higgs production