Higgs boson pair production at the LHC: top-quark mass effects at next-to-leading order