Recent experiences with error estimation and adaptivity