Problem-solving, proving, and learning: The relationship between problem-solving processes and learning opportunities in the activity of proof construction