VeriNum: Formally Verified Numerical Methods