NBC: Unredacted Alabama court documents shed new light on execution procedures