A functional carbohydrate chip platform for analysis of carbohydrate–protein interaction