Which one is significantly better in coding, Claude 3.7 or o3-mini-high or o1?