Theory and Practice of Lesson Study in Mathematics