Federal judge says ‘novel execution methods’ aren’t new, OKs gas execution in Alabama