Behavioral Pattern Mining and Modeling in Programming Problem Solving