Learning Algebra from Worked Examples