Reduced-Basis Approximation of the Viscosity-Parametrized Incompressible Navier-Stokes Equation: Rigorous A Posteriori Error Bounds