When did Mickelson first play professionally?