Practical error-bounded remeshing by adaptive refinement. (August 2019)