Prediction error certification for PINNs: Theory, computation, and application to Stokes flow