Determination of $\alpha_s$ from static QCD potential: OPE with renormalon subtraction and lattice QCD