A posteriori finite element bounds to linear functional outputs of the three-dimensional Navier-Stokes equations