Computing rigorous bounds to the accuracy of calibrated stereo reconstruction