"Besides requiring an explanation for disagreement with treating doctor opinions, the regulations speak to situations where the Social Security Administration issues an award of disability benefits while the benefit plan reaches a contrary determination. Although no deference to a favorable Social Security determination is required, the regulations obligate benefit plans to provide "a more detailed justification [for reaching a different conclusion] ... in a case where the SSA definitions were functionally equivalent to those under the plan."