Dewey and mathematical practice: revisiting the distinction between procedural and conceptual knowledge