A posteriori finite element output bounds with adaptive mesh refinement: application to a heat transfer problem in a three-dimensional rectangular duct