How John Petrucci learns new songs