Error estimation and control for ODEs